#ifndef __LIB_KERNEL_PRINT_H
#define __LIB_KERNEL_PRINT_H

#include "stdint.h"

void put_char(uint8_t char_ascii);
void put_str(const char* str);
void put_int(uint32_t num);
void set_cursor(uint32_t pos);

#endif // __LIB_KERNEL_PRINT_H